- аксиома присваивания
- axiom of assignment
Русско-английский словарь по вычислительной технике и программированию . 2013.
аксиома присваивания
Look at other dictionaries:
Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules) формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… … Википедия
